_'s⁇position

Definitions:

random access buffered iterator
Source: /avail/Avail/Data Abstractions/Iterators/Random Access Buffered Iterators
Categories: Data Abstractions, Iterators
Get the current position of the random access buffered iterator.
Position Name Type Description
Parameters
1 anIterator random access buffered iterator A random access buffered iterator.
Returns The iterator's current position, a natural number.
Raises
invalid-position exception If position is not a valid memento.
positionable iterator
Source: /avail/Avail/Data Abstractions/Iterators/Positionable Iterators
Categories: Data Abstractions, Iterators
Restrict the current position of the specified positionable iterator to the position variable's content type.
Position Name Type Description
Parameters
1 anIterator positionable iterator A positionable iterator.
Returns any A position memento that represents the current position.
positionable iterator
Source: /avail/Avail/Data Abstractions/Iterators/Positionable Iterators
Categories: Data Abstractions, Iterators
Answer the current position of the specified positionable iterator.
Position Name Type Description
Parameters
1 anIterator positionable iterator A positionable iterator.
Returns any A position memento that represents the current position.